Comparison always produces the Same Result (CSR)

Description:

Using information about the possible ranges of operands' values, CSR can detect logical expressions that are always evaluated to the same value (true or false).

Incorrect:

void handleEvent(Event e) { 
    if (e != null) { 
        ...
        if (e == null) { // always false
            ...
        }
    }
}